فوضعه باطل فالنتيجة حقة ، وأما رد الخلف إلى المستقيم فعلى خلاف ذلك [ 1 ] وهو أن يضاف نقيض النتيجة المحالة إلى المقدمة الصادقة أعني القضية المتفق عليها أي القضية المسلمة لينتج المطلوب على هيئة أحد الأشكال مثال النتيجة المحالة كانت في المثال المتقدم كل - ج - د - وقد حصلت من إضافة نقيض المطلوب وهو كل - ج - - ب - إلى القضية المسلمة وهي كل - ب - د - على هيئة الضرب الأول من الشكل الأول ونقيض المحالة ليس كل - ج - د - فإذا أضيف إلى المقدمة المسلمة الصادقة الأولى وهي كل - ب - د - أنتج من الضرب الرابع من الشكل الثاني على الاستقامة ليس كل - ج - ب - وهو الذي كان المطلوب من الخلف ، ولما كانت النتيجة المخالفة هي تالي المتصلة في الخلف فرد الخلف إلى المستقيم يلاحظ الحال مما ينعقد بين التالي المذكور في أول القياسين اللذين حللنا الخلف إليهما وبين الحملية المسلمة . قوله : " ولسنا نحتاج إليه الآن " أي لسنا نحتاج في معرفة الخلف إلى معرفة كيفية ارتداد المستقيم إليه وارتداده إلى المستقيم ، واعلم أن المطلوب إذا كان موجبا كليا فالخلف لا ينعقد إلا على هيئة قياس يكون إحدى مقدمتيه سالبة جزئية وهو رابع الثاني وخامس الثالثة ، وإذا كان سالبا كليا فلا ينعقد إلا على هيئة قياس يكون إحدى مقدمتيه ، موجبة جزئية وهو

--> [ 1 ] قوله « وأما رد الخلف إلى المستقيم فعلى خلاف ذلك » لما كان رجوع القياس المستقيم إلى الخلف أن يؤخذ نقيض نتيجة القياس المستقيم ويضمه إلى احدى مقدمتي القياس المستقيم لينتج نقيض المقدمة الأخرى فرجوع قياس الخلف على خلاف ذلك لكن بهذه الطريقة بعينها فيؤخذ نقيض نتيجة قياس الخلف ويضمه إلى احدى مقدمتي قياس الخلف حتى ينتج نقيض المقدمة الأخرى من قياس الخلف مثلا القياس ليس كل - ج - د - وكل - ب - د - فليس كل - ج - ب - من رابع الثاني والا لصدق كل - ج - ب - وكل - ب - د - ينتج كل - ج - د - وهو يناقض ليس كل - ج - د - وهذا رد القياس المستقيم إلى الخلف فكذا العمل في رد القياس الخلف إلى المستقيم يؤخذ نقيض نتيجته وهو ليس كل - ج - د - ويضمه إلى كل - ب - ج - ينتج ليس كل - ج - ب - وهو نقيض صغرى قياس الخلف ، ولما كان تحليل قياس الخلف إلى قياسين والأول منهما وهو الاقترانى من متصلة وحملية مسلمة حتى ينتج متصلة تاليها هي النتيجة المحالة فإذا أخذنا نقيض تالي هذه المتصلة وضممناه إلى الحملية انتج المطلوب الأول وهو رد الخلف إلى المستقيم فقد ظهر أن رد الخلف إلى المستقيم يلاحظ الحال فيما ينعقد بين تالي نتيجة أول القياسين وبين الحملية المسلمة . م